机译:带有宽松内存模型的多处理器中缓存一致性的正式自动验证
机译:基于NoC的多处理器的分层缓存一致性协议的设计和形式验证
机译:并行多线程共享内存多处理器的缓存一致性协议和写缓存的性能研究
机译:共享内存多处理器模型的一致性的形式验证
机译:共享内存多处理器中缓存一致性协议的评估。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:将正式验证与MURE多处理器系统设计中分布式高速缓存相干协议的MURΦ集成
机译:共享内存多处理器中基于目录的高速缓存一致性的性能和可伸缩性方面